def var x,y,w:list(atom)
var x1:atom

+++ append(list(atom),list(atom)) <= list(atom)
--- append(x1::y,w) <= x1::append(y,w)

+++ g(list(atom),list(atom),list(atom)) <= list(atom)
--- append(nil,y) <= y
--- g(x,y,w) <= append(append(x,y),w)
end

[g append].makemylist;

4->depthlimit;
0->trysubfuns;

nil->redlist;